import sympy as sp

# 定义符号变量
x = sp.Symbol('x')

# 计算多个不定积分
functions = [x**3, sp.sin(x), sp.exp(x), 1/x]

print("基本积分公式验证：")
for f in functions:
    integral = sp.integrate(f, x)
    print(f"∫({f}) dx = {integral} + C")